Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Lorraine (région)13009
Michaël Rusinowitch143
Lorraine (région) Sauf Michaël Rusinowitch" 12891
Michaël Rusinowitch Sauf Lorraine (région)" 25
Lorraine (région) Et Michaël Rusinowitch 118
Lorraine (région) Ou Michaël Rusinowitch 13034
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 118.
Ident.Authors (with country if any)Title
000376 Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Differentially Private Publication of Social Graphs at Linear Cost
000585 Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Anonymizing Social Graphs via Uncertainty Semantics
000A35 Michaël Rusinowitch [France]Automated Verification of Security Protocols and Services
000D26 Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
001140 Florent Jacquemard [France] ; Michaël Rusinowitch [France]Unranked tree rewriting and effective closures of languages
001850 Florent Jacquemard [France] ; Michaël Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001A17 Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
001B97 Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
001C14 Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo Chaining
002240 Jagdish Prasad Achara [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]DeSCal --- Decentralized Shared Calendar for P2P and Ad-Hoc Networks
002415 Asma Cherif [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Optimistic access control for distributed collaborative editors
003094 Yannick Chevalier [France] ; Michaël Rusinowitch [France]Decidability of Equivalence of Symbolic Derivations
003180 Yannick Chevalier [France] ; Michaël Rusinowitch [France]Compiling and securing cryptographic protocols
003C44 Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Safe and Efficient Strategies for Updating Firewall Policies
003D03 Abdessamad Imine [France] ; Asma Cherif [France] ; Michaël Rusinowitch [France]An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors
003E68 Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michaël Rusinowitch [France] ; Radu State [France]Abusing SIP Authentication
004590 Najah Chridi [France] ; Mathieu Turuani [France] ; Michaël Rusinowitch [France]Constraints-based Verification of Parameterized Cryptographic Protocols.
004945 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Intruders with Caps
004A41 Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France]Relating two standard notions of secrecy
005021 Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France]Relating two standard notions of secrecy
005603 Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France]Formal design and verification of operational transformation algorithms for copies convergence
005732 Eugen Zalinescu [France] ; Véronique Cortier [France] ; Michaël Rusinowitch [France]Relating two Standard Notions of Secrecy
005887 Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Towards Synchronizing Linear Collaborative Objects with Operation Transformation
005979 Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France]The AVISPA Tool for the automated validation of internet security protocols and applications
005983 Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France]A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures
006380 Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP decision procedure for protocol insecurity with XOR
006456 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Tree Automata with Equality Constraints Modulo Equational Theories
006543 Yannick Chevalier ; Michaël Rusinowitch [France]Combining Intruder Theories
006626 Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]Deciding the Security of Protocols with Commuting Public Key Encryption.
006653 Tarek Abbes [France] ; Michaël Rusinowitch [France]Fast Multipattern Matching for Intrusion Detection
006661 Tarek Abbes [France] ; Adel Bouhoula ; Michaël Rusinowitch [France]Protocol Analysis in Intrusion Detection Using Decision Tree
006C18 Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Deductive Verification of Distributed Groupware Systems
006C95 Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France]Protocol analysis in intrusion detection using decision tree
006F46 Tarek Abbes [France] ; Michaël Rusinowitch [France] ; Alakesh HaloiNetwork Traffic Classification for Intrusion Detection
006F95 Tarek Abbes [France] ; Alakesh Haloi [France] ; Michaël Rusinowitch [France]High Performance Intrusion Detection using Traffic Classification
007037 Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Deductive Verification of Distributed Groupware Systems
007074 David Basin [France, Suisse] ; Michaël Rusinowitch [France]Automated Reasoning
007091 Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Achieving Convergence with Operational Transformation in Distributed Groupware Systems
007125 Michaël Rusinowitch [France]A Decidable Analysis of Security Protocols
007130 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis]Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
007190 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007216 Tarek Abbes [France] ; Adel Bouhoula ; Michaël Rusinowitch [France]Filtrage Efficace Pour la Détection d'Intrusions
007232 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP Decision Procedure for Protocol Insecurity with XOR
007454 Hubert Comon-Lundh [France] ; Paliath Narendran [États-Unis] ; Robert Nieuwenhuis ; Michaël Rusinowitch [France]Deciding the Confluence of Ordered Term Rewrite Systems
007A30 Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France]Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
007A61 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007B50 Michaël Rusinowitch [France] ; Mathieu Turuani [France]Protocol insecurity with a finite number of sessions and composed keys is NP-complete
007B76 Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]A rewriting approach to satisfiability procedures
007D68 Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Proving Correctness of Transformation Functions in Real-Time Groupware
007E25 Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007E44 Julien Musset [France] ; Michaël Rusinowitch [France]Computing Approximations of Linear Transition Systems
007E70 Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP Decision Procedure for Protocol Insecurity with XOR
007F92 Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Analyse Automatique de Protocoles de Sécurité avec CASRUL
008003 Alessandro Armando ; David Basin ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna ; Sebastian Moedersheim ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano ; Laurent Vigneron [France]The AVISS Security Protocol Analysis Tool
008902 Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France]Observational proofs by rewriting
008B53 Imine Abdessamad [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Development of Transformation Functions Assisted by a Theorem Prover
008C62 Alessandro Armando ; Silvio Ranise [France] ; Michaël Rusinowitch [France]Uniform Derivation of Decision Procedures by Superposition
008C85 Michaël Rusinowitch [France] ; Mathieu Turuani [France]Protocol Insecurity with Finite Number of Sessions is NP-complete
008D22 Julien Musset [France] ; Michaël Rusinowitch [France]An effective fixed point calculus for deterministic systems applied to model checking
008D25 Alessandro Armando [Italie] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France]Incorporating Decision Procedures in Implicit Induction
009256 Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]Uniform Derivation of Decision Procedures by Superposition
009466 Michaël Rusinowitch [France]Vérification et réécriture
009467 Michaël Rusinowitch [France]Vérification automatique de protocoles cryptographiques avec CASRUL
009540 Michaël Rusinowitch [France]Uniform Derivation of Satisfiability Procedures
009541 Alessandro Armando ; Silvio Ranise [France] ; Michaël Rusinowitch [France]Uniform Derivation of Decision Procedures by Superposition
009551 Michaël Rusinowitch [France]The practice of cryptographic protocols verification
009586 Michaël Rusinowitch [France]Rewriting for Deduction and Verification
009598 Michaël Rusinowitch [France] ; Mathieu Turuani [France]Protocol Insecurity with Finite Number of Sessions is NP-complete
009642 Alessandro Armando [Italie] ; Michaël Rusinowitch [France] ; Sorin Stratulat [Italie]Incorporating Decision Procedures in Implicit Induction
009645 Julien Musset [France] ; Michaël Rusinowitch [France]Improved Subsumption for CLP-based Verification
009666 Michaël Rusinowitch [France] ; Mathieu Turuani [France]Deciding insecurity for non-atomic keys
009693 Rakesh Verma [États-Unis] ; Michaël Rusinowitch [France] ; Denis LugiezAlgorithms and Reductions for Rewriting Problems
009E47 Gregory Kucherov [France] ; Michaël Rusinowitch [France]Patterns in Words versus Patterns in Trees: A Brief Survey and New Results
009E64 Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France]Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
009F16 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Compiling and Verifying Security Protocols
00A123 Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]The theory of total unary RPO is decidable
00A183 Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France]Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
00A251 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Compiling and Verifying Security Protocols
00A252 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent VigneronCompiling and Verifying Security Protocols
00A312 Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France]Mechanical Verification of a Generic Incremental ABR Conformance Algorithm
00AC40 Paliath Narendran ; Michaël Rusinowitch [France]Rewriting Techniques & Applications
00AC51 Adel Bouhoula [France] ; Ahmed Jebali [France] ; Michaël Rusinowitch [France]Reasoning about Object Behaviours with Rewriting.
00AC60 Gregory Kucherov [France] ; Michaël Rusinowitch [France]Patterns in words versus patterns in trees : a brief survey and new results
00AC79 Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis KlayMechanical Verification of a Generic Incremental ABR Conformance Algorithm
00AC88 Alessandro Armando [France] ; Gilles Defourneaux [France] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France]Integrating decision procedures in Spike
00AD39 Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]Compiling and narrowing cryptographic protocols
00AD49 Francis Klay [France] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France]Analysing Feature Interactions with Automated Deduction Systems
00B338 Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [France]Observational proofs with critical contexts
00B594 Richard Mayr [France] ; Michaël RusinowitchReachability is decidable for ground AC Rewrite systems
00B595 Paliath Narendran [France] ; Michaël Rusinowitch ; Rakesh VermaRPO constraint solving is in NP
00B596 Paliath Narendran [France] ; Michaël Rusinowitch ; Rakesh VermaRPO constraint solving is in NP
00B616 Narjes Berregeb [France] ; Adel Bouhoula ; Michaël RusinowitchObservational Proofs with Critical Contexts
00B668 Hubert Comon [France] ; Paliath Narendran ; Robert Nieuwenhuis ; Michaël RusinowitchDecision problems in ordered rewriting
00B692 Francis Klay [France] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France]Analysing Feature Interactions with Automated Deduction Systems
00B700 Rakesh Verma [France] ; Michaël Rusinowitch ; Denis LugiezAlgorithms and Reductions for Rewriting Problems
00BB32 Gregory Kucherov [France] ; Michaël Rusinowitch [France]Matching a set of strings with variable length don't cares
00BD50 Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [France]Observational Proofs by Implicit Context Induction
00BD56 Rakesh M. Verma [France] ; Michaël Rusinowitch [France] ; Denis Lugiez [France]Algorithms and Reductions for Rewriting Problems
00C023 Narjes Berregeb [France] ; Adel Bouhoula [France, États-Unis] ; Michaël Rusinowitch [France]SPIKE-AC: A system for proofs by induction in Associative-Commutative theories
00C090 Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [États-Unis, France]Automated verification by induction with associative-commutative operators
00C093 Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Any ground associative-commutative theory has a finite canonical system
00C607 Gregory Kucherov [France] ; Michaël Rusinowitch [France]Undecidability of ground reducibility for word rewriting systems with variables
00C647 Adel Bouhoula [France] ; Emmanuel Kounalis [France] ; Michaël Rusinowitch [France]Automated Mathematical Induction
00C692 Gregory Kucherov [France] ; Michaël Rusinowitch [France]The complexity of testing ground reducibility for linear word rewriting systems with variables
00C709 Adel Bouhoula [France] ; Michaël Rusinowitch [France]SPIKE: a system for automatic inductive proofs
00C714 Emmanuel Kounalis [France] ; Michaël Rusinowitch [France]Reasoning with conditional axioms
00C736 Gregory Kucherov [France] ; Michaël Rusinowitch [France]Matching a set of strings with variable length don't cares
00C747 Adel Bouhoula [France] ; Michaël Rusinowitch [France]Implicit induction in conditional theories
00C780 Michaël Rusinowitch [France] ; Laurent Vigneron [France]Automated deduction with associative-commutative operators
00C832 Eric Monfroy [France] ; Michaël Rusinowitch [France] ; René SchottImplementing Non-Linear Constraints with Cooperative Solvers
00CD93 Adel Bouhoula [France] ; E. Kounalis ; Michaël RusinowitchAutomated mathematical induction
00D248 Michaël Rusinowitch [France] ; Laurent Vigneron [France]Automated deduction with associative commutative operators
00D643 Adel Bouhoula [France] ; Emmanuel Kounalis [France] ; Michaël Rusinowitch [France]SPIKE, an automatic theorem prover
00DA83 Emmanuel Kounalis [France] ; Michaël Rusinowitch [France]Automatic proof methods for algebraic specifications
00DA85 Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Any ground associative-commutative theory has a finite canonical system
00DA91 Emmanuel Kounalis [France] ; Michaël Rusinowitch [France]A proof system for conditional algebraic specifications
00DE62 Béchir El. Ayeb [France] ; Pierre Marquis [France] ; Michaël Rusinowitch [France]A new diagnosis approach by deduction and abduction
00DE70 Claude Kirchner [France] ; Hélène Kirchner ; Michaël RusinowitchDeduction with symbolic constraints
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022